Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
291	Implementation of Axiomatic Language Walter W. Wilson [removed] Univ. of Texas at Arlington Advisor: Dr. Jeff Lei ICLP 2011 Doctoral Consortium July 6, 2011 Lexington, Kentucky Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2012-06-29 15:52:25 Lisp programming language Data types Type theory Formal languages M-expression Lisp S-expression Type system Variable Software engineering Computing Programming language theory
292	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
293	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
294	Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation The Ciao Programming Environment and Multiparadigm Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-02-26 11:23:34 Programming paradigms Prolog Integrated development environments ECLiPSe Logic programming Preprocessor Emacs Ciao D Software Computing Constraint programming
295	Microsoft Word - 03-Lexical-Analysis.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 16:58:22 Computing Nondeterministic finite automaton Lexical analysis Powerset construction Deterministic finite automaton Regular expression Finite-state machine Formal language Regular language Automata theory Programming language implementation Theoretical computer science
296	Modern Advanced Process Control Implementation and PID Tuning Optimization inside the DCS or PLC Janarde Leporea, Ivan Mohlerb, Constantine Tudoranc a Add to Reading List Source URL: www.picontrolsolutions.com Language: English - Date: 2014-08-10 23:48:33 Cybernetics Control engineering Automation Systems engineering Distributed control system PID controller Process control Control system Advanced process control Systems theory Control theory Technology
297	Accurate Static Branch Prediction by Value Range Propagation Add to Reading List Source URL: www.lighterra.com Language: English - Date: 2013-09-07 20:18:58 Computing Compiler construction Programming language implementation Static single assignment form Constant folding Register allocation Use-define chain Compiler Variable Compiler optimizations Software engineering Programming language theory
298	The BigDawg Architecture and Reference Implementation Jennie Duggan Aaron Elmore Tim Kraska Add to Reading List Source URL: users.eecs.northwestern.edu Language: English Technology Database theory Computational science Business intelligence Michael Stonebraker PostgreSQL Big data Data warehouse Database Data management Database management systems Computing
299	Writing Support for Controlled Natural Languages Tobias Kuhn Department of Informatics University of Z¨urich Switzerland [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2008-10-31 17:51:38 Programming language theory Parsing Lookahead Chart parser Prolog Attempto Controlled English Natural language processing Bottom-up parsing Compiler construction Programming language implementation Software engineering
300	Section 5b: VINAH Transaction Implementation Guide Table of Contents Introduction ...........................................................................................................3 Add to Reading List Source URL: www.health.vic.gov.au Language: English - Date: 2015-04-01 23:48:38 Database management systems Database Database theory SQL Lock Transaction processing system Data management Computing Data

UPDATE